A New Synchronization in Finite Stochastic Petri Box Calculus
نویسندگان
چکیده
The Petri Box Calculus (PBC) combines two well known paradigms of the design of concurrent systems: process algebras and Petri nets. In our first proposal of sPBC (stochastic PBC) [12] we defined a Markovian extension of finite PBC, i.e., we had a Markovian process algebra for which both an operational and a denotational (based on stochastic Petri nets) semantics were defined. Our goal in this paper is to improve the semantics for the synchronization operator, in order to define a stochastic equivalence relation.
منابع مشابه
Iteration in discrete time stochastic Petri box calculus
In the last decades, a number of stochastic enrichments of process algebras was constructed to specify stochastic processes within the well-developed framework of algebraic calculi. In [26], a continuous time stochastic extension of finite Petri box calculus (PBC) was proposed and called sPBC. The algebra sPBC has interleaving semantics due to the properties of continuous time distributions. Th...
متن کاملStochastic Petri Box Calculus with Discrete Time
In the last decades, a number of stochastic enrichments of process algebras was constructed to allow one for specification of stochastic processes within the well-developed framework of algebraic calculi. In [40], a continuous time stochastic extension of finite Petri box calculus (PBC) was proposed called sPBC. The algebra sPBC has interleaving semantics due to the properties of continuous tim...
متن کاملDiscrete time stochastic Petri box calculus ∗ Igor
Last decade, a number of stochastic enrichments of process algebras was constructed to facilitate the specification of stochastic processes based on the the well-developed framework of algebraic calculi. In [56], a continuous time stochastic extension of finite PBC was proposed called sPBC. Algebra sPBC has interleaving semantics due to the properties of continuous time distributions. At the sa...
متن کاملsPBC: A Markovian Extension of Finite Petri box calculus
In this paper we present a stochastic extension of finite PBC, sPBC, in which actions have a stochastic delay associated, which is taken from a negative exponential distribution. We define for the language both an operational and a denotational semantics, using a class of labelled stochastic Petri net as supporting values. In this paper we restrict our attention to finite sPBC, i.e., we conside...
متن کاملA congruence relation for sPBC
In this paper we define a congruence relation for regular terms of sPBC (stochastic Petri Box Calculus), by means of which we identify those processes that have the same behaviour, not only in terms of the multiactions that they can perform, but also taking into account the stochastic information that they have associated. In order to define this equivalence relation we have to define an adequa...
متن کامل